Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
641	BRICS Basic Research in Computer Science BRICS RS-03-5 Christensen et al.: Precise Analysis of String Expressions Add to Reading List Source URL: www.brics.dk Language: English - Date: 2003-02-07 05:37:32 Software engineering Context-free grammar Formal grammar Terminal and nonterminal symbols Regular grammar Production Regular expression Static single assignment form Parsing expression grammar Formal languages Combinatorics Mathematics
642	TEX in Teaching Michael Moortgat, Richard Moot, Dick Oehrle Contents Add to Reading List Source URL: www.ntg.nl Language: English - Date: 2001-09-26 14:35:12 Programming language theory Compiler construction Prolog Computational linguistics Logic Parsing Formal sciences Software engineering Science
643	BRICS Basic Research in Computer Science BRICS RSAceto et al.: Characteristic Formulae for Timed Automata Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-10-31 10:38:10 Logic in computer science Philosophical logic Models of computation Bisimulation Model checking Entailment State transition system Formal verification FO Logic Theoretical computer science Applied mathematics
644	Workshop on “Knowledge discovery, Visual Analytics and Innovation in Social Computing” by Tallinn University of Technology Add to Reading List Source URL: ttu.ee Language: English - Date: 2013-02-19 17:20:07 Knowledge Formal sciences Computer graphics Infographics Scientific modeling Analytics Visualization ADAPA Learning analytics Business intelligence Science Statistics
645	A Pattern-Based Approach to Parametric Specification Mining Giles Reger , Howard Barringer, David Rydeheard University of Manchester Abstract—This paper presents a technique for using execution Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2013-09-02 06:11:57 Automata theory Formal languages Logic in computer science Runtime verification Design Finite-state machine Regular expression C Sharp Pattern Computing Software engineering Theoretical computer science
646	The data revolution: finding the missing millions - - Research reports and studies Add to Reading List Source URL: www.odi.org Language: English - Date: 2015-05-29 11:20:24 Data management Data analysis Data mining Open data Big data Surveillance Technology Formal sciences Science
647	Microsoft Word - Federal Capabilities 2014 Add to Reading List Source URL: discovertext.com Language: English - Date: 2015-01-29 15:08:26 Data analysis Natural language processing Statistical natural language processing Social networks Formal sciences Text analytics Gnip Analytics R Statistics Data management Science
648	ExCAPE Annual Report of Activities April 2013 to MarchOverview Add to Reading List Source URL: excape.cis.upenn.edu Language: English - Date: 2014-08-26 15:33:58 Electronic design automation Science Applied mathematics Digital electronics Formal methods Model-based design Program synthesis High-level synthesis Synthesizer Electronic engineering Formal sciences Cybernetics
649	CV Filip Murlak Contact data address University of Warsaw, Faculty of Mathematics, Informatics, and Mechanics Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2013-05-22 15:22:06 Computer science International Colloquium on Automata Languages and Programming Symposium on Theoretical Aspects of Computer Science Tree automaton Finite-state machine Formal language Hierarchy Automata theory Theoretical computer science Applied mathematics
650	Microsoft Word - Innentitelei Munn.doc Add to Reading List Source URL: ontology.buffalo.edu Language: English - Date: 2013-06-16 16:49:28 Information science Knowledge Technical communication Knowledge representation Barry Smith Applied ontology Upper ontology Formal ontology Category of being Ontology Science Information

UPDATE